COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Dear Professor Sayers:
C00004 ENDMK
C⊗;
Dear Professor Sayers:

	I have no hesitation in supporting the promotion of Keith Clark
to the rank of Reader.

	Clark is regarded as one of the outstanding researchers in
logic programming by all the logic programming people I have encountered.

	From my own knowledge, I can say that his work on predicate
completion puts a solid foundation under the non-monotonic aspects
of logic programming.  In my visits to Imperial College and in his
visits to Stanford, I have always found him able to enlighten me
about any questions of logic programming I had.

	I realize this reference is not as strong on detail as it
should be, but that is my fault.  Logic programming is on the border
of my interests, and I am not well acquainted with the state of
its literature.

	My other excuse is that you asked for this in early January,
and that's what it is.

Sincerely,